TSTP Solution File: ITP137^1 by cocATP---0.2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : cocATP---0.2.0
% Problem : ITP137^1 : TPTP v7.5.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : python CASC.py /export/starexec/sandbox/benchmark/theBenchmark.p
% Computer : n019.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% DateTime : Sun Mar 21 13:24:18 EDT 2021
% Result : Unknown 0.55s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : ITP137^1 : TPTP v7.5.0. Released v7.5.0.
% 0.10/0.12 % Command : python CASC.py /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.34 % Computer : n019.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % DateTime : Fri Mar 19 06:24:37 EDT 2021
% 0.13/0.34 % CPUTime :
% 0.13/0.35 ModuleCmd_Load.c(213):ERROR:105: Unable to locate a modulefile for 'python/python27'
% 0.13/0.35 Python 2.7.5
% 0.47/0.63 Using paths ['/home/cristobal/cocATP/CASC/TPTP/', '/export/starexec/sandbox/benchmark/', '/export/starexec/sandbox/benchmark/']
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852f38>, <kernel.Type object at 0x1852cb0>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_It__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_Mt__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring set_Pr1475944804lle_fm:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x2ba73c246170>, <kernel.Type object at 0x18523f8>) of role type named ty_n_t__Product____Type__Oprod_It__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_Mt__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring produc1250255278lle_fm:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852878>, <kernel.Type object at 0x1852ab8>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring set_Pr2012908090lle_tv:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852cb0>, <kernel.Type object at 0x1852908>) of role type named ty_n_t__Product____Type__Oprod_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring produc484385668lle_tv:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x18523f8>, <kernel.Type object at 0x1852dd0>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring set_Pr2061825550lle_tv:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852ab8>, <kernel.Type object at 0x1852908>) of role type named ty_n_t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring produc1852595672lle_tv:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852098>, <kernel.Type object at 0x2ba743d438c0>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring set_Pr1723822845lle_tv:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852dd0>, <kernel.Type object at 0x2ba743d438c0>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring set_Pr2120184979lle_fm:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x1852908>, <kernel.Type object at 0x2ba743d43a28>) of role type named ty_n_t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.63 Using role type
% 0.47/0.63 Declaring produc1443694919lle_tv:Type
% 0.47/0.63 FOF formula (<kernel.Constant object at 0x18525a8>, <kernel.Type object at 0x2ba743d43ab8>) of role type named ty_n_t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring produc696645085lle_fm:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1852908>, <kernel.Type object at 0x2ba743d43908>) of role type named ty_n_t__Set__Oset_I_062_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_Eo_J_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_Pr38785645e_tv_o:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1852dd0>, <kernel.Type object at 0x2ba743d43b90>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_Pr2014382200lle_tv:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1852908>, <kernel.Type object at 0x2ba743d43f80>) of role type named ty_n_t__Set__Oset_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_Pr1019238018lle_fm:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1852908>, <kernel.Type object at 0x2ba743d43b90>) of role type named ty_n_t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring produc1647334210lle_tv:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43950>, <kernel.Type object at 0x1830e60>) of role type named ty_n_t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring produc450659916lle_fm:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43908>, <kernel.Type object at 0x1830e60>) of role type named ty_n_t__Set__Oset_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_li72793489lle_tv:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43b90>, <kernel.Type object at 0x1830998>) of role type named ty_n_t__Set__Oset_It__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_Pa1764573435lle_tv:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43998>, <kernel.Type object at 0x1830d40>) of role type named ty_n_t__Set__Oset_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_Pa1499417344lle_fm:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43b90>, <kernel.Type object at 0x1830998>) of role type named ty_n_t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1605129243lle_tv:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43908>, <kernel.Type object at 0x19affc8>) of role type named ty_n_t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1604210848lle_fm:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43b90>, <kernel.Type object at 0x19affc8>) of role type named ty_n_t__List__Olist_It__String__Ochar_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring list_char:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x2ba743d43b90>, <kernel.Type object at 0x19aff80>) of role type named ty_n_t__Set__Oset_I_Eo_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring set_o:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1830ea8>, <kernel.Type object at 0x19aff38>) of role type named ty_n_t__Nat__Onat
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring nat:Type
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1830ea8>, <kernel.DependentProduct object at 0x19afd88>) of role type named sy_c_HOL_OThe_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring the_Pr1724341910lle_fm:((produc696645085lle_fm->Prop)->produc696645085lle_fm)
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1830dd0>, <kernel.DependentProduct object at 0x19afc20>) of role type named sy_c_HOL_OThe_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring the_Pr304385787lle_tv:((produc1647334210lle_tv->Prop)->produc1647334210lle_tv)
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x1830dd0>, <kernel.DependentProduct object at 0x19afc20>) of role type named sy_c_If_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring if_Par1134130401lle_tv:(Prop->(paraco1605129243lle_tv->(paraco1605129243lle_tv->paraco1605129243lle_tv)))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19aff80>, <kernel.DependentProduct object at 0x19afd40>) of role type named sy_c_Order__Relation_OaboveS_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring order_1376767238lle_tv:(set_Pr2014382200lle_tv->(paraco1605129243lle_tv->set_Pa1764573435lle_tv))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afb90>, <kernel.DependentProduct object at 0x19afb00>) of role type named sy_c_Order__Relation_Oabove_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring order_1434492699lle_tv:(set_Pr2014382200lle_tv->(paraco1605129243lle_tv->set_Pa1764573435lle_tv))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afc20>, <kernel.DependentProduct object at 0x19afe60>) of role type named sy_c_Order__Relation_Orelation__of_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring order_1215526505lle_tv:((paraco1605129243lle_tv->(paraco1605129243lle_tv->Prop))->(set_Pa1764573435lle_tv->set_Pr2014382200lle_tv))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afd40>, <kernel.DependentProduct object at 0x19afb90>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Oeval
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1325918602e_eval:((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->paraco1605129243lle_tv))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afb00>, <kernel.DependentProduct object at 0x19afc68>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ofm_OCon_H
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco69239110le_Con:(paraco1604210848lle_fm->(paraco1604210848lle_fm->paraco1604210848lle_fm))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afa70>, <kernel.DependentProduct object at 0x19afb48>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ofm_OEql
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1389086619le_Eql:(paraco1604210848lle_fm->(paraco1604210848lle_fm->paraco1604210848lle_fm))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afb90>, <kernel.DependentProduct object at 0x19afbd8>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ofm_OEql_H
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1745535428le_Eql:(paraco1604210848lle_fm->(paraco1604210848lle_fm->paraco1604210848lle_fm))
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afc68>, <kernel.DependentProduct object at 0x19afd40>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ofm_ONeg_H
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco445776468le_Neg:(paraco1604210848lle_fm->paraco1604210848lle_fm)
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afb48>, <kernel.DependentProduct object at 0x19afb00>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ofm_OPro
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1480028776le_Pro:(list_char->paraco1604210848lle_fm)
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afbd8>, <kernel.Constant object at 0x19afb00>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ofm_OTruth
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco367965286_Truth:paraco1604210848lle_fm
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afc68>, <kernel.DependentProduct object at 0x19af998>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Otv_ODet
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco1344940915le_Det:(Prop->paraco1605129243lle_tv)
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afb48>, <kernel.DependentProduct object at 0x19af908>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Otv_OIndet
% 0.47/0.64 Using role type
% 0.47/0.64 Declaring paraco793048302_Indet:(nat->paraco1605129243lle_tv)
% 0.47/0.64 FOF formula (<kernel.Constant object at 0x19afa70>, <kernel.DependentProduct object at 0x19af710>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Otv_Ocase__tv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring paraco2051596139lle_tv:((Prop->paraco1605129243lle_tv)->((nat->paraco1605129243lle_tv)->(paraco1605129243lle_tv->paraco1605129243lle_tv)))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19afc68>, <kernel.DependentProduct object at 0x19af8c0>) of role type named sy_c_Paraconsistency__Mirabelle__qxuposogha_Ovalid
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring paraco327635598_valid:(paraco1604210848lle_fm->Prop)
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19afd40>, <kernel.DependentProduct object at 0x19af830>) of role type named sy_c_Product__Type_OPair_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc1297923922lle_tv:((list_char->paraco1605129243lle_tv)->((list_char->paraco1605129243lle_tv)->produc1852595672lle_tv))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19af710>, <kernel.DependentProduct object at 0x19afc68>) of role type named sy_c_Product__Type_OPair_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc1710735575lle_fm:((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->produc696645085lle_fm))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19af878>, <kernel.DependentProduct object at 0x19af5f0>) of role type named sy_c_Product__Type_OPair_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc1943344577lle_tv:(paraco1604210848lle_fm->((list_char->paraco1605129243lle_tv)->produc1443694919lle_tv))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19af998>, <kernel.DependentProduct object at 0x19afa70>) of role type named sy_c_Product__Type_OPair_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc1126104134lle_fm:(paraco1604210848lle_fm->(paraco1604210848lle_fm->produc450659916lle_fm))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19af8c0>, <kernel.DependentProduct object at 0x19afbd8>) of role type named sy_c_Product__Type_OPair_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc2058540732lle_tv:(paraco1605129243lle_tv->(paraco1605129243lle_tv->produc1647334210lle_tv))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19af5f0>, <kernel.DependentProduct object at 0x19af830>) of role type named sy_c_Product__Type_OPair_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc407632608lle_fm:(produc696645085lle_fm->(produc696645085lle_fm->produc1250255278lle_fm))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19afa70>, <kernel.DependentProduct object at 0x19af710>) of role type named sy_c_Product__Type_OPair_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.65 Using role type
% 0.47/0.65 Declaring produc1537086518lle_tv:(produc1647334210lle_tv->(produc1647334210lle_tv->produc484385668lle_tv))
% 0.47/0.65 FOF formula (<kernel.Constant object at 0x19afbd8>, <kernel.DependentProduct object at 0x19af5f0>) of role type named sy_c_Product__Type_OSigma_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc327378790lle_fm:(set_li72793489lle_tv->(((list_char->paraco1605129243lle_tv)->set_Pa1499417344lle_fm)->set_Pr2120184979lle_fm))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af830>, <kernel.DependentProduct object at 0x19af440>) of role type named sy_c_Product__Type_OSigma_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc559987792lle_tv:(set_Pa1499417344lle_fm->((paraco1604210848lle_fm->set_li72793489lle_tv)->set_Pr1723822845lle_tv))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af710>, <kernel.DependentProduct object at 0x19af488>) of role type named sy_c_Product__Type_OSigma_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc479904331lle_tv:(set_Pa1764573435lle_tv->((paraco1605129243lle_tv->set_Pa1764573435lle_tv)->set_Pr2014382200lle_tv))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af5f0>, <kernel.DependentProduct object at 0x19af518>) of role type named sy_c_Product__Type_Obool_Ocase__bool_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc234482697lle_tv:(paraco1605129243lle_tv->(paraco1605129243lle_tv->(Prop->paraco1605129243lle_tv)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af440>, <kernel.DependentProduct object at 0x19af830>) of role type named sy_c_Product__Type_Ocurry_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc1667860344e_tv_o:((produc1852595672lle_tv->Prop)->((list_char->paraco1605129243lle_tv)->((list_char->paraco1605129243lle_tv)->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af8c0>, <kernel.DependentProduct object at 0x19af518>) of role type named sy_c_Product__Type_Ocurry_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc275353523e_fm_o:((produc696645085lle_fm->Prop)->((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af3b0>, <kernel.DependentProduct object at 0x19af5f0>) of role type named sy_c_Product__Type_Ocurry_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc251170289lle_fm:((produc696645085lle_fm->produc696645085lle_fm)->((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->produc696645085lle_fm)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19afc68>, <kernel.DependentProduct object at 0x19af998>) of role type named sy_c_Product__Type_Ocurry_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc298562633e_tv_o:((produc1443694919lle_tv->Prop)->(paraco1604210848lle_fm->((list_char->paraco1605129243lle_tv)->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af3f8>, <kernel.DependentProduct object at 0x19af3b0>) of role type named sy_c_Product__Type_Ocurry_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc635060359lle_fm:((produc1443694919lle_tv->produc696645085lle_fm)->(paraco1604210848lle_fm->((list_char->paraco1605129243lle_tv)->produc696645085lle_fm)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af518>, <kernel.DependentProduct object at 0x19af320>) of role type named sy_c_Product__Type_Ocurry_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc1339594628e_fm_o:((produc450659916lle_fm->Prop)->(paraco1604210848lle_fm->(paraco1604210848lle_fm->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af200>, <kernel.DependentProduct object at 0x19afc68>) of role type named sy_c_Product__Type_Ocurry_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_062_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_Eo_J
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc2005494902e_tv_o:((produc1647334210lle_tv->(produc1647334210lle_tv->Prop))->(paraco1605129243lle_tv->(paraco1605129243lle_tv->(produc1647334210lle_tv->Prop))))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af290>, <kernel.DependentProduct object at 0x19af3b0>) of role type named sy_c_Product__Type_Ocurry_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc621423502e_tv_o:((produc1647334210lle_tv->Prop)->(paraco1605129243lle_tv->(paraco1605129243lle_tv->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af170>, <kernel.DependentProduct object at 0x19af200>) of role type named sy_c_Product__Type_Ocurry_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc724036226lle_tv:((produc1647334210lle_tv->paraco1605129243lle_tv)->(paraco1605129243lle_tv->(paraco1605129243lle_tv->paraco1605129243lle_tv)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af998>, <kernel.DependentProduct object at 0x19af050>) of role type named sy_c_Product__Type_Ocurry_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc408556266e_fm_o:((produc1250255278lle_fm->Prop)->(produc696645085lle_fm->(produc696645085lle_fm->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19afc68>, <kernel.DependentProduct object at 0x19af098>) of role type named sy_c_Product__Type_Ocurry_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc1113543188e_tv_o:((produc484385668lle_tv->Prop)->(produc1647334210lle_tv->(produc1647334210lle_tv->Prop)))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af518>, <kernel.DependentProduct object at 0x19af098>) of role type named sy_c_Product__Type_Ointernal__case__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_Eo
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc1504058474e_fm_o:(((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->Prop))->(produc696645085lle_fm->Prop))
% 0.47/0.66 FOF formula (<kernel.Constant object at 0x19af320>, <kernel.DependentProduct object at 0x19af050>) of role type named sy_c_Product__Type_Ointernal__case__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.66 Using role type
% 0.47/0.66 Declaring produc144063912lle_fm:(((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->produc696645085lle_fm))->(produc696645085lle_fm->produc696645085lle_fm))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x19af170>, <kernel.DependentProduct object at 0x19af128>) of role type named sy_c_Product__Type_Ointernal__case__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.67 Using role type
% 0.47/0.67 Declaring produc527953982lle_fm:((paraco1604210848lle_fm->((list_char->paraco1605129243lle_tv)->produc696645085lle_fm))->(produc1443694919lle_tv->produc696645085lle_fm))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x19af0e0>, <kernel.DependentProduct object at 0x19af3b0>) of role type named sy_c_Product__Type_Ointernal__case__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_062_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_Eo_J
% 0.47/0.67 Using role type
% 0.47/0.67 Declaring produc2050176383e_tv_o:((paraco1605129243lle_tv->(paraco1605129243lle_tv->(produc1647334210lle_tv->Prop)))->(produc1647334210lle_tv->(produc1647334210lle_tv->Prop)))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x19af200>, <kernel.DependentProduct object at 0x19af128>) of role type named sy_c_Product__Type_Ointernal__case__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.67 Using role type
% 0.47/0.67 Declaring produc192124683lle_tv:((paraco1605129243lle_tv->(paraco1605129243lle_tv->paraco1605129243lle_tv))->(produc1647334210lle_tv->paraco1605129243lle_tv))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x19af050>, <kernel.DependentProduct object at 0x19af0e0>) of role type named sy_c_Product__Type_Ointernal__case__prod_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.67 Using role type
% 0.47/0.67 Declaring produc323213387e_tv_o:((produc1647334210lle_tv->(produc1647334210lle_tv->Prop))->(produc484385668lle_tv->Prop))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x19afd88>, <kernel.DependentProduct object at 0x19af3b0>) of role type named sy_c_Product__Type_Omap__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.67 Using role type
% 0.47/0.67 Declaring produc1900967599lle_fm:(((list_char->paraco1605129243lle_tv)->(list_char->paraco1605129243lle_tv))->((paraco1604210848lle_fm->paraco1604210848lle_fm)->(produc696645085lle_fm->produc696645085lle_fm)))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x2ba73c245cf8>, <kernel.DependentProduct object at 0x19af128>) of role type named sy_c_Product__Type_Omap__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.67 Using role type
% 0.47/0.67 Declaring produc918997546lle_tv:(((list_char->paraco1605129243lle_tv)->paraco1605129243lle_tv)->((paraco1604210848lle_fm->paraco1605129243lle_tv)->(produc696645085lle_fm->produc1647334210lle_tv)))
% 0.47/0.67 FOF formula (<kernel.Constant object at 0x2ba73c245cf8>, <kernel.DependentProduct object at 0x19af3b0>) of role type named sy_c_Product__Type_Omap__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc2008706836lle_fm:((paraco1605129243lle_tv->(list_char->paraco1605129243lle_tv))->((paraco1605129243lle_tv->paraco1604210848lle_fm)->(produc1647334210lle_tv->produc696645085lle_fm)))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19af200>, <kernel.DependentProduct object at 0x19af050>) of role type named sy_c_Product__Type_Omap__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1345917071lle_tv:((paraco1605129243lle_tv->paraco1605129243lle_tv)->((paraco1605129243lle_tv->paraco1605129243lle_tv)->(produc1647334210lle_tv->produc1647334210lle_tv)))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19af128>, <kernel.DependentProduct object at 0x184dfc8>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc101320793e_tv_o:(((list_char->paraco1605129243lle_tv)->((list_char->paraco1605129243lle_tv)->Prop))->(produc1852595672lle_tv->Prop))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19afd88>, <kernel.DependentProduct object at 0x184df80>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1949847036lle_tv:(((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->(list_char->paraco1605129243lle_tv)))->(produc696645085lle_fm->(list_char->paraco1605129243lle_tv)))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19af200>, <kernel.DependentProduct object at 0x184df80>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_Eo
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1221696404e_fm_o:(((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->Prop))->(produc696645085lle_fm->Prop))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19af128>, <kernel.DependentProduct object at 0x184dfc8>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc427355858lle_fm:(((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->produc696645085lle_fm))->(produc696645085lle_fm->produc696645085lle_fm))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19af200>, <kernel.DependentProduct object at 0x184def0>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc401650381lle_tv:(((list_char->paraco1605129243lle_tv)->(paraco1604210848lle_fm->produc1647334210lle_tv))->(produc696645085lle_fm->produc1647334210lle_tv))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19af128>, <kernel.DependentProduct object at 0x184dcf8>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1244905514e_tv_o:((paraco1604210848lle_fm->((list_char->paraco1605129243lle_tv)->Prop))->(produc1443694919lle_tv->Prop))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19afd88>, <kernel.DependentProduct object at 0x184dc68>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc811245928lle_fm:((paraco1604210848lle_fm->((list_char->paraco1605129243lle_tv)->produc696645085lle_fm))->(produc1443694919lle_tv->produc696645085lle_fm))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x19afd88>, <kernel.DependentProduct object at 0x18559e0>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1629543915lle_tv:((paraco1604210848lle_fm->(paraco1604210848lle_fm->(list_char->paraco1605129243lle_tv)))->(produc450659916lle_fm->(list_char->paraco1605129243lle_tv)))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x184de18>, <kernel.DependentProduct object at 0x18555a8>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc182748835lle_fm:((paraco1604210848lle_fm->(paraco1604210848lle_fm->produc696645085lle_fm))->(produc450659916lle_fm->produc696645085lle_fm))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x184dd88>, <kernel.DependentProduct object at 0x1855a28>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1370344801lle_tv:((paraco1605129243lle_tv->(paraco1605129243lle_tv->(list_char->paraco1605129243lle_tv)))->(produc1647334210lle_tv->(list_char->paraco1605129243lle_tv)))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x184def0>, <kernel.DependentProduct object at 0x18559e0>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_062_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_Eo_J
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc25129173e_tv_o:((paraco1605129243lle_tv->(paraco1605129243lle_tv->(produc1647334210lle_tv->Prop)))->(produc1647334210lle_tv->(produc1647334210lle_tv->Prop)))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x184dc68>, <kernel.DependentProduct object at 0x1855830>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001_Eo
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc852673135e_tv_o:((paraco1605129243lle_tv->(paraco1605129243lle_tv->Prop))->(produc1647334210lle_tv->Prop))
% 0.47/0.68 FOF formula (<kernel.Constant object at 0x184de18>, <kernel.DependentProduct object at 0x1855dd0>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.68 Using role type
% 0.47/0.68 Declaring produc1882560353lle_tv:((paraco1605129243lle_tv->(paraco1605129243lle_tv->paraco1605129243lle_tv))->(produc1647334210lle_tv->paraco1605129243lle_tv))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x184dc68>, <kernel.DependentProduct object at 0x1855a70>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc377990317lle_fm:((paraco1605129243lle_tv->(paraco1605129243lle_tv->produc696645085lle_fm))->(produc1647334210lle_tv->produc696645085lle_fm))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x184dc68>, <kernel.DependentProduct object at 0x1855a70>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc942307752lle_tv:((paraco1605129243lle_tv->(paraco1605129243lle_tv->produc1647334210lle_tv))->(produc1647334210lle_tv->produc1647334210lle_tv))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x18559e0>, <kernel.DependentProduct object at 0x18555a8>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001_Eo
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1234307915e_fm_o:((produc696645085lle_fm->(produc696645085lle_fm->Prop))->(produc1250255278lle_fm->Prop))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x1855dd0>, <kernel.DependentProduct object at 0x19b8290>) of role type named sy_c_Product__Type_Oprod_Ocase__prod_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_Eo
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc648306805e_tv_o:((produc1647334210lle_tv->(produc1647334210lle_tv->Prop))->(produc484385668lle_tv->Prop))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x1855c68>, <kernel.DependentProduct object at 0x18555a8>) of role type named sy_c_Product__Type_Oprod_Ofst_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc29804011lle_fm:(produc696645085lle_fm->(list_char->paraco1605129243lle_tv))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x18559e0>, <kernel.DependentProduct object at 0x19b8200>) of role type named sy_c_Product__Type_Oprod_Ofst_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc262413013lle_tv:(produc1443694919lle_tv->paraco1604210848lle_fm)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x1855dd0>, <kernel.DependentProduct object at 0x19b8170>) of role type named sy_c_Product__Type_Oprod_Ofst_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc488585168lle_tv:(produc1647334210lle_tv->paraco1605129243lle_tv)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x18559e0>, <kernel.DependentProduct object at 0x19b80e0>) of role type named sy_c_Product__Type_Oprod_Osnd_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc148705065lle_fm:(produc696645085lle_fm->paraco1604210848lle_fm)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x18555a8>, <kernel.DependentProduct object at 0x19b82d8>) of role type named sy_c_Product__Type_Oprod_Osnd_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc381314067lle_tv:(produc1443694919lle_tv->(list_char->paraco1605129243lle_tv))
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x18559e0>, <kernel.DependentProduct object at 0x19b8050>) of role type named sy_c_Product__Type_Oprod_Osnd_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1837067022lle_tv:(produc1647334210lle_tv->paraco1605129243lle_tv)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x18559e0>, <kernel.DependentProduct object at 0x19b8248>) of role type named sy_c_Product__Type_Oprod_Oswap_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1176291762lle_tv:(produc1852595672lle_tv->produc1852595672lle_tv)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b82d8>, <kernel.DependentProduct object at 0x19b8368>) of role type named sy_c_Product__Type_Oprod_Oswap_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1000205111lle_fm:(produc696645085lle_fm->produc1443694919lle_tv)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b8050>, <kernel.DependentProduct object at 0x19b83b0>) of role type named sy_c_Product__Type_Oprod_Oswap_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1232814113lle_tv:(produc1443694919lle_tv->produc696645085lle_fm)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b8248>, <kernel.DependentProduct object at 0x19b83f8>) of role type named sy_c_Product__Type_Oprod_Oswap_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1426802342lle_fm:(produc450659916lle_fm->produc450659916lle_fm)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b8368>, <kernel.DependentProduct object at 0x19b8440>) of role type named sy_c_Product__Type_Oprod_Oswap_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc211755292lle_tv:(produc1647334210lle_tv->produc1647334210lle_tv)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b83b0>, <kernel.DependentProduct object at 0x19b8488>) of role type named sy_c_Product__Type_Oprod_Oswap_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc116249920lle_fm:(produc1250255278lle_fm->produc1250255278lle_fm)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b83f8>, <kernel.DependentProduct object at 0x19b84d0>) of role type named sy_c_Product__Type_Oprod_Oswap_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring produc1733045910lle_tv:(produc484385668lle_tv->produc484385668lle_tv)
% 0.47/0.69 FOF formula (<kernel.Constant object at 0x19b8440>, <kernel.DependentProduct object at 0x19b85a8>) of role type named sy_c_Relation_Oinv__image_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.69 Using role type
% 0.47/0.69 Declaring inv_im719552961lle_tv:(set_Pr2014382200lle_tv->((paraco1605129243lle_tv->paraco1605129243lle_tv)->set_Pr2014382200lle_tv))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8488>, <kernel.DependentProduct object at 0x19b8368>) of role type named sy_c_Set_OCollect_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec1351702300lle_tv:(((list_char->paraco1605129243lle_tv)->Prop)->set_li72793489lle_tv)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b84d0>, <kernel.DependentProduct object at 0x19b8050>) of role type named sy_c_Set_OCollect_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec1111687558lle_tv:((paraco1605129243lle_tv->Prop)->set_Pa1764573435lle_tv)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b85a8>, <kernel.DependentProduct object at 0x19b85f0>) of role type named sy_c_Set_OCollect_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec1102043437lle_tv:((produc1852595672lle_tv->Prop)->set_Pr2061825550lle_tv)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b83f8>, <kernel.DependentProduct object at 0x19b8638>) of role type named sy_c_Set_OCollect_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec835549234lle_fm:((produc696645085lle_fm->Prop)->set_Pr2120184979lle_fm)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8518>, <kernel.DependentProduct object at 0x19b8680>) of role type named sy_c_Set_OCollect_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec15260823lle_tv:((produc1647334210lle_tv->Prop)->set_Pr2014382200lle_tv)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8440>, <kernel.DependentProduct object at 0x19b86c8>) of role type named sy_c_Set_OCollect_001t__Product____Type__Oprod_It__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_Mt__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec1363950211lle_fm:((produc1250255278lle_fm->Prop)->set_Pr1475944804lle_fm)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8488>, <kernel.DependentProduct object at 0x19b8710>) of role type named sy_c_Set_OCollect_001t__Product____Type__Oprod_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring collec1900284505lle_tv:((produc484385668lle_tv->Prop)->set_Pr2012908090lle_tv)
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b84d0>, <kernel.DependentProduct object at 0x19b8758>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_305309148lle_tv:((produc696645085lle_fm->(list_char->paraco1605129243lle_tv))->(set_Pr2120184979lle_fm->set_li72793489lle_tv))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b85a8>, <kernel.DependentProduct object at 0x19b87e8>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001_Eo
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_1402739636e_fm_o:((produc696645085lle_fm->Prop)->(set_Pr2120184979lle_fm->set_o))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8710>, <kernel.DependentProduct object at 0x19b84d0>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_807538418lle_fm:((produc696645085lle_fm->produc696645085lle_fm)->(set_Pr2120184979lle_fm->set_Pr2120184979lle_fm))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8518>, <kernel.DependentProduct object at 0x19b85a8>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_924970994lle_tv:((produc696645085lle_fm->produc1443694919lle_tv)->(set_Pr2120184979lle_fm->set_Pr1723822845lle_tv))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b83f8>, <kernel.DependentProduct object at 0x19b8710>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_1110913773lle_tv:((produc696645085lle_fm->produc1647334210lle_tv)->(set_Pr2120184979lle_fm->set_Pr2014382200lle_tv))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8488>, <kernel.DependentProduct object at 0x19b8518>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_326034184lle_fm:((produc1443694919lle_tv->produc696645085lle_fm)->(set_Pr1723822845lle_tv->set_Pr2120184979lle_fm))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8440>, <kernel.DependentProduct object at 0x19b84d0>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_496052427lle_tv:((produc450659916lle_fm->(list_char->paraco1605129243lle_tv))->(set_Pr1019238018lle_fm->set_li72793489lle_tv))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b87e8>, <kernel.DependentProduct object at 0x19b8488>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_1662022595lle_fm:((produc450659916lle_fm->produc696645085lle_fm)->(set_Pr1019238018lle_fm->set_Pr2120184979lle_fm))
% 0.47/0.70 FOF formula (<kernel.Constant object at 0x19b8518>, <kernel.DependentProduct object at 0x19b8950>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.47/0.70 Using role type
% 0.47/0.70 Declaring image_1070648001lle_tv:((produc1647334210lle_tv->(list_char->paraco1605129243lle_tv))->(set_Pr2014382200lle_tv->set_li72793489lle_tv))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b85a8>, <kernel.DependentProduct object at 0x19b8998>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001_062_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_Eo_J
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring image_1015627317e_tv_o:((produc1647334210lle_tv->(produc1647334210lle_tv->Prop))->(set_Pr2014382200lle_tv->set_Pr38785645e_tv_o))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b8488>, <kernel.DependentProduct object at 0x19b8518>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring image_1263514817lle_tv:((produc1647334210lle_tv->paraco1605129243lle_tv)->(set_Pr2014382200lle_tv->set_Pa1764573435lle_tv))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b8950>, <kernel.DependentProduct object at 0x19b85a8>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring image_937396045lle_fm:((produc1647334210lle_tv->produc696645085lle_fm)->(set_Pr2014382200lle_tv->set_Pr2120184979lle_fm))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b87a0>, <kernel.DependentProduct object at 0x19b8488>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring image_1221801032lle_tv:((produc1647334210lle_tv->produc1647334210lle_tv)->(set_Pr2014382200lle_tv->set_Pr2014382200lle_tv))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b8440>, <kernel.DependentProduct object at 0x19b89e0>) of role type named sy_c_Set_Oimage_001t__Product____Type__Oprod_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J_001_Eo
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring image_1610089293e_tv_o:((produc484385668lle_tv->Prop)->(set_Pr2012908090lle_tv->set_o))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b8a28>, <kernel.DependentProduct object at 0x19b8998>) of role type named sy_c_Wellfounded_Olex__prod_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring lex_pr2001015487lle_fm:(set_Pr2061825550lle_tv->(set_Pr1019238018lle_fm->set_Pr1475944804lle_fm))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b85a8>, <kernel.DependentProduct object at 0x19b8518>) of role type named sy_c_Wellfounded_Olex__prod_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring lex_pr567812260lle_tv:(set_Pr2014382200lle_tv->(set_Pr2014382200lle_tv->set_Pr2012908090lle_tv))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b89e0>, <kernel.DependentProduct object at 0x19b8b48>) of role type named sy_c_Wfrec_Osame__fst_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.55/0.71 Using role type
% 0.55/0.71 Declaring same_f1581085506lle_fm:(((list_char->paraco1605129243lle_tv)->Prop)->(((list_char->paraco1605129243lle_tv)->set_Pr1019238018lle_fm)->set_Pr1475944804lle_fm))
% 0.55/0.71 FOF formula (<kernel.Constant object at 0x19b8998>, <kernel.DependentProduct object at 0x19b8cb0>) of role type named sy_c_Wfrec_Osame__fst_001t__Paraconsistency____Mirabelle____qxuposogha__Otv_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring same_f1119076903lle_tv:((paraco1605129243lle_tv->Prop)->((paraco1605129243lle_tv->set_Pr2014382200lle_tv)->set_Pr2012908090lle_tv))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8a28>, <kernel.DependentProduct object at 0x19b89e0>) of role type named sy_c_member_001_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member894927066lle_tv:((list_char->paraco1605129243lle_tv)->(set_li72793489lle_tv->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8c20>, <kernel.DependentProduct object at 0x19b8cb0>) of role type named sy_c_member_001_062_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_Eo_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member1832524214e_tv_o:((produc1647334210lle_tv->Prop)->(set_Pr38785645e_tv_o->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8950>, <kernel.DependentProduct object at 0x19b8cb0>) of role type named sy_c_member_001_Eo
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member_o:(Prop->(set_o->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8a28>, <kernel.DependentProduct object at 0x19b8440>) of role type named sy_c_member_001t__Paraconsistency____Mirabelle____qxuposogha__Ofm
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member265982409lle_fm:(paraco1604210848lle_fm->(set_Pa1499417344lle_fm->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b89e0>, <kernel.DependentProduct object at 0x19b8c68>) of role type named sy_c_member_001t__Paraconsistency____Mirabelle____qxuposogha__Otv
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member266900804lle_tv:(paraco1605129243lle_tv->(set_Pa1764573435lle_tv->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8cf8>, <kernel.DependentProduct object at 0x19b8c20>) of role type named sy_c_member_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member146333935lle_tv:(produc1852595672lle_tv->(set_Pr2061825550lle_tv->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8d88>, <kernel.DependentProduct object at 0x19b8950>) of role type named sy_c_member_001t__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member1474794996lle_fm:(produc696645085lle_fm->(set_Pr2120184979lle_fm->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8dd0>, <kernel.DependentProduct object at 0x19b8a28>) of role type named sy_c_member_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_M_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member74361182lle_tv:(produc1443694919lle_tv->(set_Pr1723822845lle_tv->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8e18>, <kernel.DependentProduct object at 0x19b89e0>) of role type named sy_c_member_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Ofm_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member334644067lle_fm:(produc450659916lle_fm->(set_Pr1019238018lle_fm->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8e60>, <kernel.DependentProduct object at 0x19b8cf8>) of role type named sy_c_member_001t__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J
% 0.55/0.72 Using role type
% 0.55/0.72 Declaring member1531318361lle_tv:(produc1647334210lle_tv->(set_Pr2014382200lle_tv->Prop))
% 0.55/0.72 FOF formula (<kernel.Constant object at 0x19b8ea8>, <kernel.DependentProduct object at 0x19b8d88>) of role type named sy_c_member_001t__Product____Type__Oprod_It__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_Mt__Product____Type__Oprod_I_062_It__List__Olist_It__String__Ochar_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Paraconsistency____Mirabelle____qxuposogha__Ofm_J_J
% 0.55/0.73 Using role type
% 0.55/0.73 Declaring member1592865093lle_fm:(produc1250255278lle_fm->(set_Pr1475944804lle_fm->Prop))
% 0.55/0.73 FOF formula (<kernel.Constant object at 0x19b8ef0>, <kernel.DependentProduct object at 0x19b8dd0>) of role type named sy_c_member_001t__Product____Type__Oprod_It__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_Mt__Product____Type__Oprod_It__Paraconsistency____Mirabelle____qxuposogha__Otv_Mt__Paraconsistency____Mirabelle____qxuposogha__Otv_J_J
% 0.55/0.73 Using role type
% 0.55/0.73 Declaring member1074212123lle_tv:(produc484385668lle_tv->(set_Pr2012908090lle_tv->Prop))
% 0.55/0.73 FOF formula (<kernel.Constant object at 0x19b8f38>, <kernel.Constant object at 0x19b8dd0>) of role type named sy_v_p
% 0.55/0.73 Using role type
% 0.55/0.73 Declaring p:paraco1604210848lle_fm
% 0.55/0.73 FOF formula (forall (X1:Prop) (Y1:Prop), (((eq Prop) (((eq paraco1605129243lle_tv) (paraco1344940915le_Det X1)) (paraco1344940915le_Det Y1))) (((eq Prop) X1) Y1))) of role axiom named fact_0_tv_Oinject_I1_J
% 0.55/0.73 A new axiom: (forall (X1:Prop) (Y1:Prop), (((eq Prop) (((eq paraco1605129243lle_tv) (paraco1344940915le_Det X1)) (paraco1344940915le_Det Y1))) (((eq Prop) X1) Y1)))
% 0.55/0.73 FOF formula (paraco327635598_valid (paraco445776468le_Neg p)) of role axiom named fact_1_assms
% 0.55/0.73 A new axiom: (paraco327635598_valid (paraco445776468le_Neg p))
% 0.55/0.73 FOF formula (((eq (paraco1604210848lle_fm->Prop)) paraco327635598_valid) (fun (P:paraco1604210848lle_fm)=> (forall (_TPTP_I:(list_char->paraco1605129243lle_tv)), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval _TPTP_I) P)) (paraco1344940915le_Det True))))) of role axiom named fact_2_valid__def
% 0.55/0.73 A new axiom: (((eq (paraco1604210848lle_fm->Prop)) paraco327635598_valid) (fun (P:paraco1604210848lle_fm)=> (forall (_TPTP_I:(list_char->paraco1605129243lle_tv)), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval _TPTP_I) P)) (paraco1344940915le_Det True)))))
% 0.55/0.73 FOF formula (forall (I2:(list_char->paraco1605129243lle_tv)), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) paraco367965286_Truth)) (paraco1344940915le_Det True))) of role axiom named fact_3_eval_Osimps_I2_J
% 0.55/0.73 A new axiom: (forall (I2:(list_char->paraco1605129243lle_tv)), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) paraco367965286_Truth)) (paraco1344940915le_Det True)))
% 0.55/0.73 FOF formula (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm) (Q:paraco1604210848lle_fm), ((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) ((paraco1325918602e_eval I2) P2)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q)))->((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) ((paraco1325918602e_eval I2) Q)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True)))->((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) Q)) (paraco1344940915le_Det True))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) ((paraco1325918602e_eval I2) P2)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) Q)) (paraco1344940915le_Det True)))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) (paraco1344940915le_Det False))))))))) of role axiom named fact_4_eval_Osimps_I4_J
% 0.55/0.73 A new axiom: (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm) (Q:paraco1604210848lle_fm), ((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) ((paraco1325918602e_eval I2) P2)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q)))->((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) ((paraco1325918602e_eval I2) Q)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True)))->((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) Q)) (paraco1344940915le_Det True))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) ((paraco1325918602e_eval I2) P2)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) Q)) (paraco1344940915le_Det True)))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco69239110le_Con P2) Q))) (paraco1344940915le_Det False)))))))))
% 0.55/0.74 FOF formula (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm) (Q:paraco1604210848lle_fm), ((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco1389086619le_Eql P2) Q))) (paraco1344940915le_Det True)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q)))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco1389086619le_Eql P2) Q))) (paraco1344940915le_Det False))))) of role axiom named fact_5_eval_Osimps_I5_J
% 0.55/0.74 A new axiom: (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm) (Q:paraco1604210848lle_fm), ((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco1389086619le_Eql P2) Q))) (paraco1344940915le_Det True)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q)))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco1389086619le_Eql P2) Q))) (paraco1344940915le_Det False)))))
% 0.55/0.74 FOF formula (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm) (Q:paraco1604210848lle_fm), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco1389086619le_Eql P2) Q))) (paraco1344940915le_Det (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q))))) of role axiom named fact_6_eval__equality__simplify
% 0.55/0.74 A new axiom: (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm) (Q:paraco1604210848lle_fm), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) ((paraco1389086619le_Eql P2) Q))) (paraco1344940915le_Det (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) ((paraco1325918602e_eval I2) Q)))))
% 0.55/0.74 FOF formula (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm), ((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det False))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco445776468le_Neg P2))) (paraco1344940915le_Det True)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det False)))->((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco445776468le_Neg P2))) (paraco1344940915le_Det False)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True)))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco445776468le_Neg P2))) ((paraco1325918602e_eval I2) P2))))))) of role axiom named fact_7_eval__negation
% 0.55/0.74 A new axiom: (forall (I2:(list_char->paraco1605129243lle_tv)) (P2:paraco1604210848lle_fm), ((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det False))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco445776468le_Neg P2))) (paraco1344940915le_Det True)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det False)))->((and ((((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco445776468le_Neg P2))) (paraco1344940915le_Det False)))) ((not (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) P2)) (paraco1344940915le_Det True)))->(((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco445776468le_Neg P2))) ((paraco1325918602e_eval I2) P2)))))))
% 0.55/0.74 FOF formula (forall (F1:(Prop->paraco1605129243lle_tv)) (F2:(nat->paraco1605129243lle_tv)) (X1:Prop), (((eq paraco1605129243lle_tv) (((paraco2051596139lle_tv F1) F2) (paraco1344940915le_Det X1))) (F1 X1))) of role axiom named fact_8_tv_Osimps_I5_J
% 0.55/0.74 A new axiom: (forall (F1:(Prop->paraco1605129243lle_tv)) (F2:(nat->paraco1605129243lle_tv)) (X1:Prop), (((eq paraco1605129243lle_tv) (((paraco2051596139lle_tv F1) F2) (paraco1344940915le_Det X1))) (F1 X1)))
% 0.55/0.74 FOF formula (forall (I2:(list_char->paraco1605129243lle_tv)) (S:list_char), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco1480028776le_Pro S))) (I2 S))) of role axiom named fact_9_eval_Osimps_I1_J
% 0.55/0.74 A new axiom: (forall (I2:(list_char->paraco1605129243lle_tv)) (S:list_char), (((eq paraco1605129243lle_tv) ((paraco1325918602e_eval I2) (paraco1480028776le_Pro S))) (I2 S)))
% 0.55/0.74 FOF formula (forall (X1:Prop) (X2:nat), (not (((eq paraco1605129243lle_tv) (paraco1344940915le_Det X1)) (paraco793048302_Indet X2)))) of role axiom named fact_10_tv_Odistinct_I1_J
% 0.55/0.74 A new axiom: (forall (X1:Prop) (X2:nat), (not (((eq paraco1605129243lle_tv) (paraco1344940915le_Det X1)) (paraco793048302_Indet X2))))
% 0.55/0.74 FOF formula (forall (P3:(paraco1605129243lle_tv->Prop)) (Tv:paraco1605129243lle_tv), ((forall (X:Prop), (P3 (paraco1344940915le_Det X)))->((forall (X:nat), (P3 (paraco793048302_Indet X)))->(P3 Tv)))) of role axiom named fact_11_tv_Oinduct
% 0.55/0.74 A new axiom: (forall (P3:(paraco1605129243lle_tv->Prop)) (Tv:paraco1605129243lle_tv), ((forall (X:Prop), (P3 (paraco1344940915le_Det X)))->((forall (X:nat), (P3 (paraco793048302_Indet X)))->(P3 Tv))))
% 0.55/0.74 <<< ( ! [X12: $o] :
% 0.55/0.74 ( Y
% 0.55/0.74 != ( paraco1344940915le_Det @ X12 ) )
% 0.55/0.74 => ~ !>>>!!!<<< [X22: nat] :
% 0.55/0.74 ( Y
% 0.55/0.74 != ( paraco793048302_Indet @ X22 ) ) ) )).
% 0.55/0.74
% 0.55/0.74 % tv.>>>
% 0.55/0.74 statestack=[0, 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 11, 22, 30, 36, 43, 50, 99, 113, 185, 229, 265, 285, 300, 221, 120, 187, 124]
% 0.55/0.74 symstack=[$end, TPTP_file_pre, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, TPTP_input, LexToken(THF,'thf',1,51880), LexToken(LPAR,'(',1,51883), name, LexToken(COMMA,',',1,51903), formula_role, LexToken(COMMA,',',1,51909), LexToken(LPAR,'(',1,51910), thf_quantified_formula_PRE, thf_quantifier, LexToken(LBRACKET,'[',1,51918), thf_variable_list, LexToken(RBRACKET,']',1,51944), LexToken(COLON,':',1,51946), LexToken(LPAR,'(',1,51954), thf_unitary_formula, thf_pair_connective, unary_connective]
% 0.55/0.74 Unexpected exception Syntax error at '!':BANG
% 0.55/0.74 Traceback (most recent call last):
% 0.55/0.74 File "CASC.py", line 79, in <module>
% 0.55/0.74 problem=TPTP.TPTPproblem(env=environment,debug=1,file=file)
% 0.55/0.74 File "/export/starexec/sandbox/solver/bin/TPTP.py", line 38, in __init__
% 0.55/0.74 parser.parse(file.read(),debug=0,lexer=lexer)
% 0.55/0.74 File "/export/starexec/sandbox/solver/bin/ply/yacc.py", line 265, in parse
% 0.55/0.74 return self.parseopt_notrack(input,lexer,debug,tracking,tokenfunc)
% 0.55/0.74 File "/export/starexec/sandbox/solver/bin/ply/yacc.py", line 1047, in parseopt_notrack
% 0.55/0.74 tok = self.errorfunc(errtoken)
% 0.55/0.74 File "/export/starexec/sandbox/solver/bin/TPTPparser.py", line 2099, in p_error
% 0.55/0.74 raise TPTPParsingError("Syntax error at '%s':%s" % (t.value,t.type))
% 0.55/0.74 TPTPparser.TPTPParsingError: Syntax error at '!':BANG
%------------------------------------------------------------------------------